A General Method for the Analysis and the Logical Generation of Discrete Mathematical Systems in Programmable Logical Controller

摘要

This paper deals with a general method for the analysis and the logical generation of discrete systems in Programmable Logical Controller (PLC). The Boolean operators are implemented with a generic and unique algebraic model as event-dependent discrete equations, which can be executed in a sequential order.With this method, a generator of sequential logical tables can be designed, simulated and executed for implementing discrete dynamical systems. The purpose of this research is to design self-rewrite operating systems in PLC, which automatically checks the logic of the implemented discrete dynamical systems, for simulation and execution of sequential operations.